منابع مشابه
Cubic identities for theta series in three variables
where ω = exp(2πi/3). We call these functions theta series for convenience. Subsequently Hirschhorn, Garvan and J. Borwein [3] proved the corresponding identity for two-variable analogues of these theta series. Solé [4] (see also [5]) gave a new proof of (1) using a lattice having the structure of a Z[ω]module. Here we introduce three-variable analogues of the theta series a(q), b(q) and c(q), ...
متن کاملCubic and Quartic Cyclic Homogeneous Inequalities of Three Variables
We determine the geometric structures of the families of three variables cubic and quartic cyclic homogeneous inequalities of certain classes. These structures are determined by studying some real algebraic surfaces.
متن کاملCongruence Closure with Free Variables
Many verification techniques nowadays successfully rely on SMT solvers as back-ends to automatically discharge proof obligations. These solvers generally rely on various instantiation techniques to handle quantifiers. We here show that the major instantiation techniques in SMT solving can be cast in a unifying framework for handling quantified formulas with equality and uninterpreted functions....
متن کاملCongruence Classes with Logic Variables
We are improving equality reasoning in automatic theorem-provers, and congruence classes provide an efficient storage mechanism for terms, as well as the congruence closure decision procedure. We describe the technical steps involved in integrating logic variables with congruence classes, and present an algorithm that can be proved to find all matches between classes (modulo certain equalities)...
متن کاملCubic Forms in 14 Variables
The result can be rephrased in geometric language to say that any projective cubic hypersurface defined over Q, of dimension at least 12, has a Q-point. Davenport’s result was extended to arbitrary number fields by Pleasants [9], and it would be interesting to know whether Theorem 1 could similarly be extended. These results can be seen as an attempt to extend the classical theorem of Meyer (18...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Arithmetica
سال: 1962
ISSN: 0065-1036,1730-6264
DOI: 10.4064/aa-8-1-1-9